The Constructive Implicit Function Theorem and Applications in Mechanics Douglas Bridges University of Waikato
نویسندگان
چکیده
We examine some ways of proving the Implicit Function Theorem and the Inverse Function Theorem within Bishop's constructive mathematics. Section 2 contains a new, entirely constructive proof of the Implicit Function Theorem. The paper ends with some comments on the application of the Implicit Function Theorem in classical mechanics.
منابع مشابه
The Constructive Implicit Function Theorem and Proof in Logistic Mixtures
There is the work by Bridges et al (1999) on the key features of a constructive proof of the implicit function theorem, including some applications to physics and mechanics. For mixtures of logistic distributions such information is lacking, although a special instance of the implicit function theorem prevails therein. The theorem is needed to see that the ridgeline function, which carries info...
متن کاملA common fixed point theorem for weakly compatible maps satisfying common property (E:A:) and implicit relation in intuitionistic fuzzy metric spaces
In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...
متن کامل$S$-metric and fixed point theorem
In this paper, we prove a general fixed point theorem in $textrm{S}$-metric spaces for maps satisfying an implicit relation on complete metric spaces. As applications, we get many analogues of fixed point theorems in metric spaces for $textrm{S}$-metric spaces.
متن کاملThe existence result of a fuzzy implicit integro-differential equation in semilinear Banach space
In this paper, the existence and uniqueness of the solution of a nonlinear fully fuzzy implicit integro-differential equation arising in the field of fluid mechanics is investigated. First, an equivalency lemma is presented by which the problem understudy is converted to the two different forms of integral equation depending on the kind of differentiability of the solution. Then...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997